Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
111	Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-08-29 18:34:45 Computer programming Software metrics Code coverage Modified condition/decision coverage Conditional DO-248B Control flow Gcov C Software engineering Software testing Computing
112	Control-flow analysis ? ? ? ? Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-24 06:00:00 Computing Source code Unreachable code Dead code Property Dead code elimination C++11 Software engineering Computer programming Compiler optimizations
113	DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Dataflow Symbolic execution Algorithm Information flow Dependence analysis Pointer Information Taint checking Computing Software engineering Parallel computing
114	Data-flow analysis MOV MOV ADD MOV MOV Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-01-26 06:00:00 Live variable analysis ALGOL 68 Control T32 Computing Programming language theory Software engineering Data-flow analysis
115	How to Win Patients and Influence Community Communication A Step by Step Guide for Looping your Community By Susan M. Lopez, Au.D. and Mary T. Caccavo, Ph.D. These days, we see a lot of articles and “buzz” about how Add to Reading List Source URL: hearingloop.org Language: English - Date: 2015-01-15 14:34:18 Otology Control flow Assistive technology Hearing aids Audiology Infinite loop Loop Vertical loop Termination analysis Medicine Health Computer programming
116	Motivation Intra-procedural analysis depends upon accurate control-flow information. In the presence of certain language features (e.g. indirect calls) it is nontrivial to predict accurately how control may flow at execu Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-02-23 06:00:00 Mathematical logic Function Lambda calculus Control flow analysis Combinatory logic Fixed-point combinator Mathematics Data-flow analysis Theoretical computer science
117	∗ Statically-Directed Dynamic Automated Test Generation Domagoj Babi´c Lorenzo Martignoni Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:29 Network theory Shortest path problem Algorithm Control flow analysis Heuristic function Call graph Mathematics Graph theory Theoretical computer science
118	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Abstract Such scenarios preclude direct use of source-based Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Decompiler Control flow graph Boomerang Compiler Static single assignment form Algorithm Data-flow analysis Control flow Compiler construction Software Computing
119	Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring Edward J. Schwartz JongHyup Lee Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-17 15:18:11 Decompiler Computing Control flow graph Data-flow analysis Algorithm Static single assignment form Control flow Compiler Graph Compiler construction Mathematics Software

UPDATE